Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic